Section: Partnerships and Cooperations

International Initiatives

INRIA International Partners

We have tight collaborations with the Weiss lab for synthetic biology at MIT, USA, through participation in the ANR Syne2arti project coordinated by Grégory Batt, and through the joint supervision of Xavier Duportet's PhD thesis.

We also have a starting collaboration with the Center for Systems and Control at the Delft University of Technology (The Netherlands) on developing formal probabilistic approaches for robust control of gene expression. This collaborative project is funded by the Frans/Nederlandse Academie as part of the van Gogh Programm (Coordination Alessandro Abate/Grégory Batt).

Visits of International Scientists

Visiting Professor

• Calin Belta, Boston University, USA (2 months),

Internships

• Gopalakrishnan Kumar

  • Subject: Stochastic model of the yeast Met3 promoter

  • Institution: IIT Bombay (India)

• Armando Gonçalves Da Silva Junior

  • Subject: Generating Explanatory Traces for Rule-Based Constraint Reasoning CHR

  • Institution: Federal University of Pernambuco (UFPE) (Brazil)

• Philip Robin

  • Subject: Hybrid Simulations with Events

  • Institution: IIT New Delhi (India)

Short visits

• Xuefeng Gao, University College, Cork, Ireland,

• Neda Saeedloei, University of Texas, Dallas, USA

• Yaakov Setty, Weizmann Institute, Revohot, Israel,

• Szymon Stoma, Humboldt University, Berlin, Germany

Participation In International Programs

• Program: STIC AmSud

• Project acronym: TODAS

• Project title: Trace Observation Driven Adaptive Solvers

• Duration: janvier 2010 - décembre 2011

• Coordinator: Pierre Deransart INRIA

• Other partners: Eric Monfroy, UFSTM, Chile, Luis Menezes, UPE, Brazil, J. Robin, UFPE, Brazil, and F. Saubion, LERIA, U. Angers.

• Abstract: The objective of the project is to define or improve self-adaptive constraint solving algorithms (Boolean, finite domains, local search or rules CHR) and their essential parameters, with an approach partly based on generic traces, to allow experimentation on different classes of solvers. At INRIA we worked in two directions: the development of a generic trace for CHR${}^v$ [11] , and the integration of the approach of generic trace to describe different kinds of adaptive solvers.